Перевод: со всех языков на все языки

со всех языков на все языки

reduction to a normal form

См. также в других словарях:

  • Normal form (abstract rewriting) — In abstract rewriting, a normal form is an element of the system which cannot be rewritten any further. Stated formally, for some reduction relation ⋅ → ⋅ over X a term t in X is a normal form if there does not exist a term t′ in X such …   Wikipedia

  • Normal form (term rewriting) — In considering rewriting systems, a normal form is an element of the system which cannot be rewritten any further. Consider the basic term rewriting system with reduction rule ρ : g ( x , y ) → x . The term g ( g (4, 2), g (3, 1)) has the… …   Wikipedia

  • Beta normal form — In the lambda calculus, a term is in beta normal form if no beta reduction is possible. A term is in beta eta normal form if neither a beta reduction nor an eta reduction is possible. A term is in head normal form if there is no beta redex in… …   Wikipedia

  • Jordan normal form — In linear algebra, a Jordan normal form (often called Jordan canonical form)[1] of a linear operator on a finite dimensional vector space is an upper triangular matrix of a particular form called Jordan matrix, representing the operator on some… …   Wikipedia

  • Administrative normal form — In computer science, administrative normal form (abbreviated ANF) is a canonical form of programs, which was introduced by Flanagan et al 1993 to serve as an intermediate representation in functional compilers to make subsequent transformations… …   Wikipedia

  • Reduction system — In mathematics, a reduction system is a system where terms can be re written by using a finte list of rewriting rules.Examples of reduction systems include string rewriting systems, term rewriting systems, lambda calculus under lambda conversion …   Wikipedia

  • Reduction (orthopedic surgery) — Intervention ICD 9 CM 79 Reduction is a medical procedure to restore a fracture or dislocation to the correct alignment. When a bone fractures, the fragments lose their alignment in the form of displacement or an …   Wikipedia

  • Reduction potential — (also known as redox potential, oxidation / reduction potential, ORP or Eh) is a measure of the tendency of a chemical species to acquire electrons and thereby be reduced. Reduction potential is measured in volts (V), or millivolts (mV). Each… …   Wikipedia

  • Canonical form — Generally, in mathematics, a canonical form (often called normal form or standard form) of an object is a standard way of presenting that object. Canonical form can also mean a differential form that is defined in a natural (canonical) way; see… …   Wikipedia

  • oxidation–reduction reaction — ▪ chemical reaction Introduction also called  redox reaction        any chemical reaction in which the oxidation number of a participating chemical species changes. The term covers a large and diverse body of processes. Many oxidation– reduction… …   Universalium

  • Dolby noise-reduction system — A Dolby 361 A type noise reduction module Dolby NR is the name given to a series of noise reduction systems developed by Dolby Laboratories for use in analog magnetic tape recording. The first was Dolby A, a professional broadband noise reduction …   Wikipedia

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»